System programming - PDFSEARCH.IO - Document Search Engine

System programming
Results: 6665

#	Item
641	Resource-Aware Programming for Robotic Vision Johny Paul, Walter Stechele Manfred Kr¨ohnert, Tamim Asfour, Technical University of Munich, Add to Reading List Source URL: h2t.anthropomatik.kit.edu Language: English - Date: 2014-08-20 07:43:32 Algorithm Robot Scalability Multi-core processor ROS Operating system Humanoid robot Multiprocessing Speech recognition Computing Concurrent computing Parallel computing
642	SubVirt: Implementing malware with virtual machines Samuel T. King Peter M. Chen University of Michigan {kingst,pmchen}@umich.edu Yi-Min Wang Chad Verbowski Helen J. Wang Jacob R. Lorch Microsoft Research Add to Reading List Source URL: web.eecs.umich.edu Language: English - Date: 2006-03-03 22:37:06 Virtual machines Programming language implementation Rootkit Malware Windows Virtual PC Hypervisor VirtualBox Ring Operating system System software Software VMware
643	Statically Scoped Object Adaptation with Expanders Alessandro Warth Milan Stanojevi´c Todd Millstein Add to Reading List Source URL: tinlizzie.org Language: English - Date: 2008-12-30 02:04:39 Object-oriented programming Cross-platform software Method Type theory Java programming language Eval Java Type system Factory method pattern Software engineering Computing Computer programming
644	Hennepin County Application for License to Sell Tobacco Products Add to Reading List Source URL: www.hennepin.us Language: English - Date: 2014-05-12 13:05:40 Computing Tobacco Email address Address C Software engineering Programming language theory Postal system ZIP code Vending machine
645	Using the Inner-Distance for Classification of Articulated Shapes Haibin Ling David W. Jacobs Computer Science Department, University of Maryland, College Park {hbling, djacobs}@ umiacs.umd.edu Add to Reading List Source URL: www.dabi.temple.edu Language: English - Date: 2005-03-25 20:48:17 Computer vision Shape context Topology Mathematical optimization Metric geometry Cartesian coordinate system Dynamic programming Metric Distance Mathematics Geometry Elementary mathematics
646	Use of Contextualized Attention Metadata for Ranking and Recommending Learning Objects Xavier Ochoa Erik Duval Add to Reading List Source URL: lirias.kuleuven.be Language: English Educational technology Data management Data Knowledge representation Object-oriented programming Learning object metadata E-learning Recommender system Usability Education Information Technical communication
647	DEPARTMENT OF STATE OFFICE OF THE PROCUREMENT EXECUTIVE FEDERAL ASSISTANCE DIVISION 1 Add to Reading List Source URL: photos.state.gov Language: English - Date: 2015-06-05 14:43:12 Computer programming Data Universal Numbering System Dun & Bradstreet Identifiers Procedural programming languages Berwickshire Commercial and Government Entity C Regular expression Universal identifiers Software engineering Computing
648	Spinning Into Control Bell Labs’ verification tool: coming to a compiler near you? errors. In one case, the programmers said, “We’ll fix it, but it’s so unlikely to happen that we’re really wasting our time.” Add to Reading List Source URL: spinroot.com Language: English - Date: 2008-06-30 15:34:26 Compiler construction SPIN model checker Software bug Gerard J. Holzmann Holzmann Programming tool Embedded system Compiler Software Formal methods Computing
649	Libraries < PAGE >1Chapter XX: Libraries Every modern linker handles libraries, collections of object files that are included as needed in a linked program. In this chapter we cover traditional statically linked librari Add to Reading List Source URL: www.iecc.com Language: English - Date: 1999-06-14 23:31:35 Compiler construction Programming language implementation Archive formats C programming language Library COFF C++ Object file Linker Computing Software System software
650	Microsoft Word - Voicemeeter_UserManualR3.docx Add to Reading List Source URL: vb-audio.pagesperso-orange.fr Language: English - Date: 2015-01-23 04:25:57 System software Application programming interfaces Audio Stream Input/Output Windows legacy audio components Windows Driver Model Sound card Mixing console Latency Universal Serial Bus Software Electronics Digital audio

UPDATE